Feeds to Scour
SubscribedAll
Scoured 8968 posts in 272.3 ms
An attempt at a First-Proof AI challenge
abhvio.us·1d·
Discuss: Hacker News
📝Weakest Precondition
Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems
arxiv.org·16h
🔍CBMC
Observations and Complexity
lesswrong.com·15h
👁️Observability
ChatGPT vs. Logic: Why AI Code is Slower
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
The Quest for Simplicity
prokeimenon.org·3h·
Discuss: Hacker News
📵Digital Minimalism
Designing a Cost-Efficient Agentic System
p.agnihotry.com·3h·
Discuss: Hacker News
🧠Automated Reasoning
A Note on Flat Abstract Syntax Trees
gist.github.com·3h·
Discuss: Hacker News
🧩Parser Combinators
We Build Software for Humans — Not for Machines. And That’s a Problem.
medium.com·8h·
Discuss: r/programming
🔧DevOps
The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth
arxiv.org·16h
🕸️Graph Theory
Computing large Fibonacci numbers
johndcook.com·1d·
Discuss: Hacker News
λFunctional Programming
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Modernizing my 150-line Python search engine: Yahoo! dumps -> Hugging Face 🤗
bart.degoe.de·2h·
Discuss: Hacker News
🔤Kleene Algebra
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·5h·
Discuss: Hacker News
🧠Automated Reasoning
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·3h·
Discuss: Hacker News
🧩SAT Solvers
First Proof | Research-Level Math for AI Evaluation
1stproof.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Tutorial – What is a variational autoencoder?
jaan.io·4h·
Discuss: Hacker News
📚Automata Learning
Expectation and Copysets
buttondown.com·2h·
Discuss: Hacker News
🔢Algebraic Data Types
Why securing AI model weights isn’t enough
the-substrate.net·28m·
Discuss: Hacker News
🛡️macOS Security
amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme
github.com·5h·
Discuss: Hacker News
🐫OCaml
Learning by hand is better than learning by AI
blog.engora.com·3h·
Discuss: Hacker News
📚Automata Learning

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help